int main()
{
  printf("ok");
}
